1. Algebraic algorithmics and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985: Proceedings
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Error-correcting codes )Information theory(,Data processing -- Congresses ، Algebra,Congresses ، Algorithms,Congresses ، Coding theory
رده :
QA
76
.
L28
Vol
.
229
2. Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Coding theory
رده :
QA
76
.
L4
v
.
229
3. Algebraic algorithms & error-correcting codes:3rd international
پدیدآورنده : CALMET,JACQUES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGEBRA-DATA PROCESSING-CONGRESSES , ALGORITHMS-CONGRESSE , CODING THEORY-CONGRESSES
رده :
QA
155
.
7
.
E4
A55
1985
4. Artificial Intelligence and Symbolic Computation
پدیدآورنده : / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
5. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده : Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
6. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
7. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
8. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
9. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
10. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
11. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده : Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
12. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
144
13. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
144
14. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Algebra - Data processing - Congresses
رده :
QA
.
E4E85
155
.
7
1982
15. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
16. Intelligent Computer Mathematics
پدیدآورنده : / Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
17. Mathematical methods in computer science. essays in memory of Thomas Beth
پدیدآورنده : Jacques Calmet, Willi Geiselmann, Jorn Muller-Quade, )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer science- Mathematics,، Quantum computers,، Cryptography,، Coding theory,، Beth, Thomas, 9491-
رده :
QA
76
.
9
.
M35
M384
2008
